Nuprl Definition : link
11,40
postcript
pdf
link(
e
) == ecase1(
e
;
info
;
i
.
;
l
,
e'
.
l
)
latex
clarification:
link(
info
;
e
) == ecase1(
e
;
info
;
i
.
;
l
,
e'
.
l
)
latex
Definitions
,
ecase1(
e
;
info
;
i
.
f
(
i
);
l
,
e'
.
g
(
l
;
e'
))
FDL editor aliases
link
origin